
void test_giVector();